typedef struct rtenv_frame_ * rtenv_frame;
typedef struct rtenv_access_ * rtenv_access;
typedef struct rtenv_falloc_ * rtenv_falloc;

rtenv_access rtenv_add(rtenv_access left,rtenv_access right);
rtenv_access rtenv_sub(rtenv_access left,rtenv_access right);
rtenv_access rtenv_mul(rtenv_access left,rtenv_access right);
rtenv_access rtenv_div(rtenv_access left,rtenv_access right);

rtenv_access rtenv_eq(rtenv_access left,rtenv_access right);
rtenv_access rtenv_neq(rtenv_access left,rtenv_access right);
rtenv_access rtenv_geq(rtenv_access left,rtenv_access right);
rtenv_access rtenv_leq(rtenv_access left,rtenv_access right);
rtenv_access rtenv_grt(rtenv_access left,rtenv_access right);
rtenv_access rtenv_les(rtenv_access left,rtenv_access right);